/* add.c
 *	Simple program to test whether the systemcall interface works.
 *
 *	Just do a add syscall that adds two values and returns the result.
 *
 */

#include "syscall.h"

void main()
{
    int result;
    result = Add(42, 23);
    Print("Add start\n");
    Exec("print.exe");
    Print("Add goes on\n");
    Halt();
  /* not reached */
}
